<body>
  Components used to run shell commands and browse the shell history.
</body>
